Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
261	Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov Chung-chieh Shan Add to Reading List Source URL: okmij.org Language: English - Date: 2014-01-05 02:30:19 Procedural programming languages Data types Lambda calculus C++ Functional programming ALGOL 68 Generator List comprehension Type system Software engineering Computing Computer programming
262	FAST GREEKS FOR MARKOV-FUNCTIONAL MODELS USING ADJOINT PDE METHODS NICK DENSON AND MARK JOSHI Abstract. This paper demonstrates how the adjoint PDE method can be used to compute Greeks in Markov-functional models. This i Add to Reading List Source URL: fbe.unimelb.edu.au Language: English - Date: 2013-08-05 02:21:40 Operator theory Differential equations Multivariable calculus Partial differential equation Black–Scholes Eigenvalues and eigenvectors Hermitian adjoint Borel functional calculus Algebra Mathematics Mathematical analysis
263	SHard: a Scheme to Hardware Compiler Xavier Saint-Mleux Marc Feeley Jean-Pierre David Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:38 Subroutines Lambda calculus Control flow Functional programming Data types Closure Inline expansion Scheme Lambda lifting Software engineering Computing Computer programming
264	CHENNAI MATHEMATICAL INSTITUTE Graduate Programme in Mathematics - M.Sc./Ph.D. Solutions to the Entrance Examination, 2012 Part A 1. True. Take δ = . Then k(x1 , x2 · · · xn ) − (y1 , y2 · · · yn )k2 < δ impli Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2013-02-25 05:04:22 Spectral theory Calculus Continuous function Ordinary differential equations Functional analysis Holomorphic functional calculus Itō diffusion Mathematical analysis Mathematics Operator theory
265	A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions ∗ Kedar Swadi † Walid Taha Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-01-29 08:17:09 Functional programming Lambda calculus Adjoint functors Theoretical computer science Combinatory logic Memoization Fixed-point combinator Monad Combinator library Software engineering Computing Declarative programming
266	Navigational XPath: calculus and algebra Balder ten Cate Maarten Marx ISLA – Informatics Institute Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-02-20 09:17:39 Markup languages Functional languages XPath 2.0 XPath Technical communication XQuery XSLT EXist Path expression Computing Web standards XML
267	A Variadic Extension of Curry’s Fixed-Point Combinator Mayer Goldberg ()∗ Department of Computer Science Ben Gurion University, Beer Sheva 84105, Israel Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Lambda calculus Subroutines Recursion Higher-order functions Functional programming Fixed-point combinator Variadic function Combinatory logic Fold Software engineering Computing Declarative programming
268	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
269	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
270	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory

UPDATE